Finite model theory - PDFSEARCH.IO - Document Search Engine

Finite model theory
Results: 870

#	Item
791	TEMPO RELEASE NOTES v0.1.4 (BETA[removed]Recent Fixes (v0.1.4) Add to Reading List Source URL: www.veromodo.com Language: English - Date: 2011-07-22 14:00:16 Automata theory C++ Scope ALGOL 68 C++ classes Type inference Quantum finite automata Model checking JavaScript Software engineering Programming language theory Computing
792	Final 0506 Quark 7 Annual Report:0506 draft 5.qxd.qxd Add to Reading List Source URL: www.newton.ac.uk Language: English - Date: 2007-01-12 05:07:34 Computational complexity theory Abstraction Logic in computer science Formal sciences Constraint programming Constraint satisfaction Finite model theory Mathematical logic Complexity Theoretical computer science Mathematics Applied mathematics
793	The Role of Decidability in First Order Separations over Classes of Finite Structures Add to Reading List Source URL: www.haverford.edu Language: English - Date: 2012-03-28 11:42:31 Mathematical logic Complexity classes Computational complexity theory FO Descriptive complexity Model theory SO Descriptive complexity theory P Theoretical computer science Finite model theory Mathematics
794	[removed]Motivation Add to Reading List Source URL: www.haverford.edu Language: English - Date: 2012-03-28 11:42:14 FO P Finite model theory SO Computational complexity theory Second-order logic Theoretical computer science Complexity classes Applied mathematics
795	3 Complexity of Reasoning Francesco M. Donini Add to Reading List Source URL: www.inf.unibz.it Language: English - Date: 2011-09-08 09:53:48 Complexity classes Finite model theory Boolean algebra Predicate logic Boolean satisfiability problem True quantified Boolean formula NP-complete Description logic FO Theoretical computer science Computational complexity theory Applied mathematics
796	Planning in Action Formalisms based on DLs: First Results Maja Miliˇci´c Institut f¨ ur Theoretische Informatik TU Dresden, Germany Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Abox Sheaf Constructible universe Mathematics Algebraic topology FO Finite model theory
797	8 / Thursday, May 29, 2014 LOCAL The Recorder, Amsterdam, N.Y. Add to Reading List Source URL: www.recordernews.com Language: English - Date: 2014-05-29 10:13:37 FO Finite model theory
798	ox Lunchb Ki ds We hope that every Add to Reading List Source URL: harryrhamilton.ednet.ns.ca Language: English - Date: 2013-03-21 10:05:23 SO Ch Finite model theory Mathematics FO
799	Dependency Tree Automata Colin Stirling [removed] Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-12-22 09:12:53 Computer science Model checking Finite-state machine Tree automaton End Model theory Simply typed lambda calculus Graph Configuration graph Theoretical computer science Automata theory Mathematics
800	District 204 Tutor List This list of volunteer tutors has been made available for the convenience of District 204 parents and guardians. Add to Reading List Source URL: ipsdweb.ipsd.org Language: English - Date: 2014-05-05 17:04:52 Applied mathematics Statistical theory Binomial coefficient Jet bundle Mathematics FO Finite model theory

UPDATE